#include "types.h"
#include "stat.h"
#include "user.h"

int main(){
  int *x;
  int i;
  for(i=0; i<10000; i++){
    x = malloc(sizeof(int));
    printf(1, "got address: %x\n", x);
  }
  return 0;
}